The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·12h·
Discuss: Hacker News
💧Liquid Types
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·1h·
Discuss: DEV
📝Concrete Syntax
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
👑Isabelle
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·1d
🎯Performance Proofs
Issue 483
haskellweekly.news·20h
🔗Functional Compilers
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·2d
✅Format Verification
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.ai·1d·
Discuss: Hacker News
🔀CRDT
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
📝Concrete Syntax
Why we need better software identification
softwareheritage.org·17h
🔗Binary Similarity
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·15h
💧Liquid Types
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·2d
🧪Binary Fuzzing
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·3h
🕸️Tensor Networks
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
🧬Functional Programming
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🧮Constraint SMT
Real Life Is Uncertain. Consensus Should Be Too!
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🤝Paxos Consensus
Building great SDKs
newsletter.pragmaticengineer.com·2d
🔌Interface Evolution
8 Ways to Unlock Innovation With Data as a Product
thenewstack.io·1d
🔗Data Provenance
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
⚔️Lean Theorem
Linkage from Montreal
11011110.github.io·17h
🎨Graph Coloring
From zero to RAG engineer: 1200 hours of lessons so you don't repeat my mistakes
bytevagabond.com·1d·
Discuss: Hacker News
📄Text Chunking